First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
611	Conceptual Graphs John F. Sowa Abstract. A conceptual graph (CG) is a graph representation for logic based on the semantic networks of artificial intelligence and the existential graphs of Charles Sanders Peirce. Several Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2010-05-01 10:56:18 Philosophical logic Knowledge representation Diagrams Charles Sanders Peirce Conceptual graph Existential graph Quantification First-order logic Charles Sanders Peirce bibliography Logic Mathematics Science
612	Structure Learning via Parameter Learning William Yang Wang Kathryn Mazaitis William W. Cohen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-25 09:41:11 Reasoning Quantification Automated theorem proving Predicate logic Logic programming Prolog Resolution Datalog First-order logic Logic Mathematics Mathematical logic
613	Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic William Yang Wang Kathryn Mazaitis Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-08-12 11:05:10 Theoretical computer science Graphical models Artificial intelligence Probability theory Bayesian statistics Markov logic network PageRank Probabilistic logic Markov random field Logic Mathematics Probability
614	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Higher-order functions Recursion Map Function First-order logic Functor Fold Mizar system Sheaf Software engineering Computing Declarative programming
615	Advances in Programming Languages APL13: Assertions and Hoare Logic David Aspinall (most slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-08 17:16:25 Program logic Logic in computer science Propositional calculus Model theory Hoare logic Philosophy of language First-order logic Assertion Axiom Logic Mathematics Mathematical logic
616	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2007-10-05 17:44:52 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
617	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2011-09-26 07:12:08 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
618	Proofs of Correctness in Mathematics and Industry Henk Barendregt Radboud University Nijmegen, The Netherlands July 11, 2007 Add to Reading List Source URL: ftp.cs.kun.nl Language: English - Date: 2008-10-02 17:25:47 Proof theory Logical syntax Formal systems Mathematical proofs Mathematical induction First-order logic Theorem Axiom Formal proof Logic Mathematics Mathematical logic
619	Teaching Math More Effectively, Through Calculational Proofs Author(s): David Gries and Fred B. Schneider Source: The American Mathematical Monthly, Vol. 102, No. 8 (Oct., 1995), pp[removed]Published by: Mathematical As Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:20:02 Mathematical proofs Model theory Logic in computer science Proof theory Propositional calculus Proof by contradiction First-order logic FO Integration by substitution Mathematics Logic Mathematical logic
620	Chapter 9 Credentials-based Authorization A set can be defined intensionally by specifying properties required of all its members or it can be defined extensionally by enumerating its elements. For Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-05-05 21:49:30 Propositional calculus Predicate logic First-order logic Sequent Universal quantification Rule of inference Substitution Existential quantification Sequent calculus Logic Mathematical logic Quantification

UPDATE